inversely well-ordered set

逆良序集